大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing 的图书(共6748本)

Computer Aided Verification [electronic resource] : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

0
索取号：
作者：Ball、 Thomas.、Jones、 Robert B.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computational Intelligence and Bioinformatics [electronic resource] : International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006. Proceedings, Part III

0
索取号：
作者：Huang、 De-Shuang.、Li、 Kang.、Irwin、 George William.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computational Intelligence [electronic resource] : International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006. Proceedings, Part II

0
索取号：
作者：Huang、 De-Shuang.、Li、 Kang.、Irwin、 George William.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Intelligent Computing [electronic resource] : International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006. Proceedings, Part I

0
索取号：
作者：Huang、 De-Shuang.、Li、 Kang.、Irwin、 George William.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Intelligent Computing in Signal Processing and Pattern Recognition [electronic resource] : International Conference on Intelligent Computing, ICIC 2006 Kunming, China, August 16鈥Ṭ 2006

0
索取号：
作者：Huang、 De-Shuang.、Li、 Kang.、Irwin、 George William.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Intelligent Control and Automation [electronic resource] : International Conference on Intelligent Computing, ICIC 2006 Kunming, China, August 16鈥Ṭ 2006

0
索取号：
作者：Huang、 De-Shuang.、Li、 Kang.、Irwin、 George William.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Mathematical Knowledge Management [electronic resource] : 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006. Proceedings

0
索取号：
作者：Borwein、 Jonathan M.、Farmer、 William M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computing and Combinatorics [electronic resource] : 12th Annual International Conference, COCOON 2006, Taipei, Taiwan, August 15-18, 2006. Proceedings

0
索取号：
作者：Chen、 Danny Z.、Lee、 D. T.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Comprehensive Mathematics for Computer Scientists 1 [electronic resource] : Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition)

0
索取号：
作者：Mazzola、 Guerino.、Milmeister、 G茅rard.、Weissmann、 Jody.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Reconfigurable Computing: Architectures and Applications [electronic resource] : Second International Workshop, ARC 2006, Delft, The Netherlands, March 1-3, 2006, Revised Selected Papers

0
索取号：
作者：Bertels、 Koen.、Cardoso、 Jo茫o M. P.、Vassiliadis、 Stamatis.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Agent Computing and Multi-Agent Systems [electronic resource] : 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006. Proceedings

0
索取号：
作者：Shi、 Zhong-Zhi.、Sadananda、 Ramakoti.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Emerging Directions in Embedded and Ubiquitous Computing [electronic resource] : EUC 2006 Workshops: NCUS, SecUbiq, USN, TRUST, ESO, and MSA, Seoul, Korea, August 1-4, 2006. Proceedings

0
索取号：
作者：Zhou、 Xiaobo.、Sokolsky、 Oleg.、Yan、 Lu.、Jung、 Eun-Sun.、Shao、 Zili.、Mu、 Yi.、Lee、 Dong Chun.、Kim、 Dae Young.、Jeong、 Young-Sik.、Xu、 Cheng-Zhong.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Dependable Systems: Software, Computing, Networks [electronic resource] : Research Results of the DICS Program

0
索取号：
作者：Kohlas、 J眉rg.、Meyer、 Bertrand.、Schiper、 Andr茅.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Embedded and Ubiquitous Computing [electronic resource] : International Conference, EUC 2006, Seoul, Korea, August 1-4, 2006. Proceedings

0
索取号：
作者：Sha、 Edwin.、Han、 Sung-Kook.、Xu、 Cheng-Zhong.、Kim、 Moon-Hae.、Yang、 Laurence T.、Xiao、 Bin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

SmartKom: Foundations of Multimodal Dialogue Systems [electronic resource]

0
索取号：
作者：Wahlster、 Wolfgang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006. Proceedings

0
索取号：
作者：Vassiliadis、 Stamatis.、Wong、 Stephan.、H盲m盲l盲inen、 Timo D.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院